Bujorianu, Marius C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - An Integrated Specification Framework for Embedded Systems

Bujorianu, Marius C., Bujorianu, Manuela L.

Year:

2007

Language:

english

File:

PDF, 5.83 MB

english, 2007

2

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Towards Hilbertian Formal Methods

Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Marius C., Bujorianu, Manuela L., Bujorianu, Manuela L., Bujorianu, Manuela L., Bujorianu, Manuela L.

Year:

2007

Language:

english

File:

PDF, 125 KB

english, 2007

3

Approximate Abstractions of Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C., Blom, Henk A.P.

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 233 KB

english, 2008

4

TRUE CONCURRENT STOCHASTIC PROCESSES

Bujorianu, Marius C., Bujorianu, Manuela L., Lygeros, John

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

5

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Stochastic non sequitur behavior analysis of fault tolerant hybrid systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Year:

2011

Language:

english

File:

PDF, 537 KB

english, 2011

6

[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - Viewpoint Development of Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Year:

2006

Language:

english

File:

PDF, 161 KB

english, 2006

7

An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

Bujorianu, Marius C., Bujorianu, Manuela L., Langerak, Rom

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

8

A Theory of Symbolic Dynamics for Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 238 KB

english, 2011

9

[IEEE Automation (MED 2008) - Ajaccio, France (2008.06.25-2008.06.27)] 2008 16th Mediterranean Conference on Control and Automation - A randomized model for communicating embedded systems

Bujorianu, Marius C., Bujorianu, Manuela L.

Year:

2008

Language:

english

File:

PDF, 221 KB

english, 2008

10

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Systems theory in an analytic setting

Bujorianu, Manuela L., Bujorianu, Marius C., Barringer, Howard

Year:

2011

Language:

english

File:

PDF, 206 KB

english, 2011

11

[IEEE 2007 Mediterranean Conference on Control & Automation - Athens, Greece (2007.06.27-2007.06.29)] 2007 Mediterranean Conference on Control & Automation - Topological superposition of abstractions of stochastic processes

Bujorianu, Manuela L., Bujorianur, Marius C.

Year:

2007

Language:

english

File:

PDF, 173 KB

english, 2007

12

Contingent Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 206 KB

english, 2012

13

State constrained reachability for stochastic hybrid systems

Manuela L. Bujorianu, Marius C. Bujorianu

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2011

Language:

english

File:

PDF, 534 KB

english, 2011

14

[IEEE 2009 17th Mediterranean Conference on Control and Automation (MED) - Thessaloniki, Greece (2009.06.24-2009.06.26)] 2009 17th Mediterranean Conference on Control and Automation - A unifying specification logic for cyber-physical systems

Bujorianu, Marius C., Bujorianu, Manuela L., Barringer, Howard

Year:

2009

Language:

english

File:

PDF, 305 KB

english, 2009

15

DISTRIBUTED STOCHASTIC HYBRID SYSTEMS

Bujorianu, Manuela L., Bujorianu, Marius C., Maharaj, Savi

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

16

State Constrained Reachability for Stochastic Hybrid Systems

Bujorianu, Manuela L., Bujorianu, Marius C.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 200 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски